منابع مشابه
A Unifying Model of Variables and Names
We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion of distinction. The key aspect of this model is to consider functors over the category of irreflexive, symmetric finite relations. The models previously proposed for the notions of “variables” and “names” embed faithfully in the new on...
متن کاملA Game Semantics of Local Names and Good Variables
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this allows properties of names such as freshness and locality to be characterized semantically. We describe a model of the nu-calculus in this category, and extend it with named references (without bad variables) using na...
متن کاملRepresenting names with variables in nominal abstract syntax
We describe a new approach to nominal abstract syntax where object-language names are represented using variables in the meta-language, as opposed to concrete atoms. As well as providing additional flexibility through the ability to perform aliasing between bound and free names, this approach more closely models informal practice in the specification of inductively-defined relations. We present...
متن کاملQuestion Wording , Response Categories , Variables Names , and Indices for : 2006
Question Wording & Indices for the CCES data: p. 2 Question Wording & Indices for the KN data: p. 4 Figure R1: Specification of the Three-Factor (SEM) Measurement Model: p. 6 Figure R2: Range of MOC Treatment x Stealth Interaction: p. 7 Table R1: Predicting Two Types of Political Participation (CCES): p. 8 Table R2: Predicting Two Types of Political Participation (KN): p. 9 Table R3: Participat...
متن کاملHow Many Possible Trade Names are There?
The number of possible distinct names of reasonable length is necessarily finite, and with the heavy demand for new names in some areas of current English-speaking commerce it seems possible that the supply might approach exhaustion. Numbers of possibilities cannot be calculated exactly, because most wordforms theoretically allowed by English phonology are too clumsy to be usable. However, Mont...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Philosophical Review
سال: 2020
ISSN: 0031-8108,1558-1470
DOI: 10.1215/00318108-7890468